abstraction verification

抽象验证